Value-Oriented Design of Service Coordination Processes: Correctness and Trust

The rapid growth of service coordination languages creates a need for methodological support for coordination design. Coordination design differs from workflow design because a coordination process connects different businesses that can each make design decisions independently from the others, and no business is interested in supporting the business processes of others. In multi-business cooperative design, design decisions are only supported by all businesses if they contribute to the profitability of each participating business. So in order to make coordination design decisions supported by all participating businesses, requirements for a coordination process should be derived from the business model that makes the coordination profitable for each participating business. We claim that this business model is essentially a model of intended value exchanges. We model the intended value exchanges of a business model as e3 -value value models and coordination processes as UML activity diagrams. The contribution of the paper is then to propose and discuss a criterion according to which a service coordination process must be correct with respect to a value exchange model. This correctness is necessary to gain business support for the process. Finally, we discuss methodological consequences of this approach for service coordination process design

Applying a Dynamical Systems Model and Network Theory to Major Depressive Disorder

Mental disorders like major depressive disorder can be seen as complex dynamical systems. In this study we investigate the dynamic behaviour of individuals to see whether or not we can expect a transition to another mood state. We introduce a mean field model to a binomial process, where we reduce a dynamic multidimensional system (stochastic cellular automaton) to a one-dimensional system to analyse the dynamics. Using maximum likelihood estimation, we can estimate the parameter of interest which, in combination with a bifurcation diagram, reflects the expectancy that someone has to transition to another mood state. After validating the proposed method with simulated data, we apply this method to two empirical examples, where we show its use in a clinical sample consisting of patients diagnosed with major depressive disorder, and a general population sample. Results showed that the majority of the clinical sample was categorized as having an expectancy for a transition, while the majority of the general population sample did not have this expectancy. We conclude that the mean field model has great potential in assessing the expectancy for a transition between mood states. With some extensions it could, in the future, aid clinical therapists in the treatment of depressed patients.Comment: arXiv admin note: text overlap with arXiv:1610.0504

Microstates of a Neutral Black Hole in M Theory

We consider vacuum solutions in M theory of the form of a five-dimensional Kaluza-Klein black hole cross T^6. In a certain limit, these include the five-dimensional neutral rotating black hole (cross T^6). From a IIA standpoint, these solutions carry D0 and D6 charges. We show that there is a weakly coupled D-brane description which precisely reproduces the Hawking-Bekenstein entropy in the extremal limit, even though supersymmetry is completely broken.Comment: 11 pages. v2: microstate counting extended to generic angular moment

Value-based Requirements Engineering: Exploring Innovative e-Commerce Ideas

Computersoftware wordt steeds meer een onderdeel van producten en diensten die bedrijven aanbieden aan hun klanten. Denk bijvoorbeeld aan een muziekwinkel op het world-wide-web: software zorgt ervoor dat klanten toch een shopping experience ervaren, terwijl zij niet fysiek in de winkel staan. Nog mooier is het als een klant niet een fysieke muziek-CD bestelt, maar de gekochte muziek direct na de aankoop kan beluisteren. Speciale software zorgt er dan voor dat de muziek over het Internet wordt getransporteerd en direct wordt afgespeeld bij de consument thuis. Internet winkels zijn een voorbeeld van de commerci묥 exploitatie van een innovatieve technologie als het world-wide-web. Kenmerkend voor dit soort idee뮠is de sterke koppeling tussen enerzijds business aspecten (bijvoorbeeld marketing, consumenten gedrag) en anderzijds technologische middelen. De centrale vraag in mijn proefschrift is hoe dergelijke nieuwe, technologie intensieve, business idee뮠kunnen worden ontwikkeld. Om dit vraagstuk te kunnen bestuderen ben ik langdurig werkzaam geweest bij een groot Nederlands consultancy bureau en bij Cisco Systems, een bedrijf dat vaak wordt aangehaald als schoolvoorbeeld voor de commerci묥 benutting van het Internet. Deze consultancy context bood mij de mogelijkheid om een aantal business-idee뮠daadwerkelijk te verkennen en te leren hoe dergelijke trajecten kunnen worden uitgevoerd. Daarnaast ben ik tijdens mijn onderzoek part-time aan de Vrije Universiteit Amsterdam verbonden geweest om deze trajecten te analyseren, te bestuderen en te structuren. Het totaal heeft geresulteerd in een praktische methode die gebruikt kan worden om nieuwe e-business idee뮠te verkennen, genaamd e3value. In kort komt mijn methode er op neer dat we kijken naar de economische- en technische haalbaarheid van een e-business idee. De recente e-business geschiedenis heeft namelijk duidelijk gemaakt veel idee뮠zijn mislukt en zelfs hebben geleid tot faillissement omdat de aangeboden dienst of product nauwelijks commercieel danwel technisch te exploiteren was. Kenmerkend aan e3value is dat we een drietal modellen maken van het e-business idee. Een model is een iets formelere beschrijving van een vaak vaag geformuleerd idee. Zo'n formelere beschrijving dwingt nauwkeurigheid af dat bijdraagt aan een beter begrip van het oorspronkelijke e-business idee. Een ander voordeel is dat het mogelijk wordt (automatisch) te redeneren over bijvoorbeeld de potentie tot winstgevendheid. De drie verschillende modellen beschrijven ieder een belangrijk aspect van een e-business idee: namelijk de creatie van economische waarde, de bedrijfsprocessen die daarvoor nodig zijn en de software componenten die daarin een rol spelen. Met dit laatste aspect doet e3value recht aan het belang van informatie-technologie in innovatieve e-business idee뮮 Naast de e3value methode zelf worden in mijn proefschrift een aantal innovatieve e-business idee뮠besproken en geanalyseerd. De belangrijkste verdiensten van e3value blijken dan een heldere uiteenzetting van het idee en de mogelijkheid tot redeneren over business-potentie van het idee te zijn.Akkermans, J.M. [Promotor

Abnormal Fetal Growth:Small for Gestational Age, Fetal Growth Restriction, Large for Gestational Age: Definitions and Epidemiology

Abnormal fetal growth (growth restriction and overgrowth) is associated with perinatal morbidity, mortality, and lifelong risks to health. To describe abnormal growth, "small for gestational age" and "large for gestational age" are commonly used terms. However, both are statistical definitions of fetal size below or above a certain threshold related to a reference population, rather than referring to an abnormal condition. Fetuses can be constitutionally small or large and thus healthy, whereas fetuses with seemingly normal size can be growth restricted or overgrown. Although golden standards to detect abnormal growth are lacking, understanding of both pathologic conditions has improved significantly.</p

Service Orientation and the Smart Grid state and trends

The energy market is undergoing major changes, the most notable of which is the transition from a hierarchical closed system toward a more open one highly based on a “smart” information-rich infrastructure. This transition calls for new information and communication technologies infrastructures and standards to support it. In this paper, we review the current state of affairs and the actual technologies with respect to such transition. Additionally, we highlight the contact points between the needs of the future grid and the advantages brought by service-oriented architectures.